Analytic continuation of meromorphic functions in valued fields

An analogue of Hilbert’s tenth problem for fields of meromorphic functions over non-Archimedean valued fields

Let K be a complete and algebraically closed valued field of characteristic 0. We prove that the set of rational integers is positive existentially definable in the field M of meromorphic functions on K in the language Lz of rings augmented by a constant symbol for the independent variable z and by a symbol for the unary relation “the function x takes the value 0 at 0”. Consequently, we prove t...

An analogue of Hilbert’s 10th problem for fields of meromorphic functions over non-Archimedean valued fields

Let K be a complete and algebraically closed valued field of characteristic 0. We prove that the set of rational integers is positive existentially definable in the field M of meromorphic functions on K in the language L z of rings augmented by a constant symbol for the independent variable z and by a symbol for the unary relation ‘‘the function x takes the value 0 at 0’’. Consequently, we prov...

Meromorphic Continuation of L-functions of P-adic Representations

Extensions of Asymptotic Fields via Meromorphic Functions

An asymptotic field is a special type of Hardy field in which, modulo an oracle for constants, one can determine asymptotic behaviour of elements. In a previous paper, it was shown in particular that limits of real Liouvillian functions can thereby be computed. Let !F denote an asymptotic field and l e t / e^" . We prove here that if G is meromorphic at the limit of/(which may be infinite) and ...

Analytic continuation of multiple Hurwitz zeta functions

We use a variant of a method of Goncharov, Kontsevich, and Zhao [Go2, Z] to meromorphically continue the multiple Hurwitz zeta function ζd(s; θ) = ∑ 0<n1<···<nd (n1 + θ1) −s1 · · · (nd + θd)d , θk ∈ [0, 1), to C, to locate the hyperplanes containing its possible poles, and to compute the residues at the poles. We explain how to use the residues to locate trivial zeros of ζd(s; θ).